II - PDFSEARCH.IO - Document Search Engine

II
Results: 113822

#	Item
11	JSS Journal of Statistical Software MMMMMM YYYY, Volume VV, Issue II. http://www.jstatsoft.org/ Add to Reading List Source URL: vita.had.co.nz Language: English - Date: 2016-07-21 16:13:20 Computing Computer programming Software engineering Array programming languages Parallel computing Procedural programming languages Subroutines Distributed computing architecture Parameter Array programming MapReduce Fortran
12	Allgemeine Geschäftsbedingungen 3P 1. Anwendungsbereich Der Vertrag zwischen Ihnen und Salt Mobile SA (“Salt”) besteht aus (i) ”Ihr Vertrag mit uns”, (ii) etwaigen Besonderen Add to Reading List Source URL: fiber.salt.ch Language: German - Date: 2018-03-12 17:13:27
13	Formale Systeme II: Theorie Separation Logic SSProf. Dr. Bernhard Beckert · Dr. Mattias Ulbrich Add to Reading List Source URL: formal.iti.kit.edu Language: English - Date: 2016-08-05 06:53:04 Theoretical computer science Formal methods Logic in computer science Software engineering Separation logic Postcondition Precondition Design by contract Predicate transformer semantics Formal verification Software verification
14	Nationales Programm zur Prävention und Bekämpfung von Armut Chancengleichheit in der Bildung Übersicht aller geförderten Projekte Stichtag II: Titel Add to Reading List Source URL: www.gegenarmut.ch Language: German - Date: 2017-06-15 04:02:37
15	Formale Systeme II: Theorie Dynamic Logic: Uninterpreted and Interpreted First Order DL SS 2016 Add to Reading List Source URL: formal.iti.kit.edu Language: English - Date: 2016-05-03 10:44:18 Logic Mathematical logic Model theory Mathematics Modal logic Non-classical logic Temporal logic Kripke structure Symbol Kripke semantics Interpretation Functional predicate
16	Formale Systeme II: Theorie Dynamic Logic: Propositional Dynamic Logic SS 2016 Add to Reading List Source URL: formal.iti.kit.edu Language: English - Date: 2016-05-03 10:44:18 Logic Non-classical logic Metaphysics Mathematical logic Modal logic Philosophical logic Logic in computer science Dynamic logic KeY
17	MiFID II Top 5 Venue Reporting Commentary Date: 30th April 2018 Prepared by: HSBC Global Asset Management (Malta) Ltd. Introduction The Markets in Financial Instruments Directive (MIFID II) requires investment firms to s Add to Reading List Source URL: www.hsbc.com.mt Language: English - Date: 2018-05-08 11:31:23 Economy Financial regulation Financial markets Finance Money European Union Markets in Financial Instruments Directive Systemic risk Best execution Derivative Transaction cost analysis Smart order routing
18	Thomson Reuters Elektron Data Platform Real-Time Venue Data For MiFID II MiFID II is redefining best practice in our industry Organizations bound by MiFID II are now finding that rules around pre- and post-trade transpar Add to Reading List Source URL: mifidii.thomsonreuters.com Language: English - Date: 2018-10-21 02:07:04 Economy Finance Money Financial markets Financial regulation European Union Markets in Financial Instruments Directive Systemic risk Tradeweb Thomson Reuters MarketAxess Securities research
19	Formale Systeme II: Theorie SS 2016 Prof. Dr. Bernhard Beckert · Dr. Mattias Ulbrich Slides by courtesy of Andr´e Platzer, CMU Add to Reading List Source URL: formal.iti.kit.edu Language: English - Date: 2016-05-28 04:48:57 Logic Non-classical logic Metaphysics Mathematical logic Cyber-physical system Modal logic KeY Dynamic logic BL
20	TITLE II--TRADE BENEFITS FOR CARIBBEAN BASIN Subtitle B--Trade Benefits for Caribbean Basin Countries SECTEMPORARY PROVISIONS TO PROVIDE ADDITIONAL TRADE BENEFITS TO CERTAIN BENEFICIARY COUNTRIES. (a) TEMPORARY PR Add to Reading List Source URL: otexa.trade.gov Language: English - Date: 2001-03-01 11:59:10 Economy of the Caribbean Law Caribbean Basin Trade and Partnership Act Statutory law Certificate of origin Anti-circumvention United States Code